PER_USER: 2
};
-// GFile for user extensions
-var userExtensionsDir = null;
-
// Maps uuid -> metadata object
const extensions = {};
_extension = null;
}
-function init() {
- let userExtensionsPath = GLib.build_filenamev([global.userdatadir, 'extensions']);
- userExtensionsDir = Gio.file_new_for_path(userExtensionsPath);
-}
-
function scanExtensionsInDirectory(callback, dir, type) {
let fileEnum;
let file, info;
}
function scanExtensions(callback) {
- let systemDataDirs = GLib.get_system_data_dirs();
+ let userExtensionsDir = Gio.File.new_for_path(GLib.build_filenamev([global.userdatadir, 'extensions']));
scanExtensionsInDirectory(callback, userExtensionsDir, ExtensionType.PER_USER);
+
+ let systemDataDirs = GLib.get_system_data_dirs();
for (let i = 0; i < systemDataDirs.length; i++) {
let dirPath = GLib.build_filenamev([systemDataDirs[i], 'gnome-shell', 'extensions']);
let dir = Gio.file_new_for_path(dirPath);
return;
}
- let dir = ExtensionUtils.userExtensionsDir.get_child(uuid);
+ let dir = Gio.File.new_for_path(GLib.build_filenamev([global.userdatadir, 'extensions', uuid]));
try {
if (!dir.query_exists(null))
dir.make_directory_with_parents(null);